21![Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California](https://www.pdfsearch.io/img/2f552d5cc47dfaae0315fb041d366f53.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-03-05 17:31:43
|
---|
22![CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models ∗ Sebastian Burckhardt Rajeev Alur CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models ∗ Sebastian Burckhardt Rajeev Alur](https://www.pdfsearch.io/img/0e440c53221c47c7e115298509f99c01.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2007-03-26 08:41:48
|
---|
23![The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv](https://www.pdfsearch.io/img/e1ff966c7a2fcdd8ca0abd80de7552b9.jpg) | Add to Reading ListSource URL: eacsl.kahle.chLanguage: English |
---|
24![Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR](https://www.pdfsearch.io/img/5237b9b71b38441bfe63bdb5cba7f6d9.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-03-05 17:26:28
|
---|
25![Patricia BOUYER-DECITRE Office: LSV – CNRS & ENS de Cachan 61, avenue du Pr´esident WilsonCachan – France Tel: +41 Fax: +21 Patricia BOUYER-DECITRE Office: LSV – CNRS & ENS de Cachan 61, avenue du Pr´esident WilsonCachan – France Tel: +41 Fax: +21](https://www.pdfsearch.io/img/fc84e495e3381c1365a0efee3fd7b6c7.jpg) | Add to Reading ListSource URL: www.lsv.ens-cachan.frLanguage: English - Date: 2014-07-01 16:25:40
|
---|
26![A Model-Based Approach to Integrating Security Policies for Embedded Devices Michael McDougall Rajeev Alur A Model-Based Approach to Integrating Security Policies for Embedded Devices Michael McDougall Rajeev Alur](https://www.pdfsearch.io/img/68437d71e6441f05649412346a4c4938.jpg) | Add to Reading ListSource URL: michaelmcdougall.comLanguage: English - Date: 2006-08-10 20:16:18
|
---|
27![Trends and Challenges in Algorithmic Software Verification Rajeev Alur Department of Computer and Information Science University of Pennsylvania Email: Trends and Challenges in Algorithmic Software Verification Rajeev Alur Department of Computer and Information Science University of Pennsylvania Email:](https://www.pdfsearch.io/img/a6eaac63cf201cc33c118d9222f98f05.jpg) | Add to Reading ListSource URL: vstte.ethz.chLanguage: English - Date: 2005-10-11 03:37:02
|
---|
28![Systems Computing Challenges in the Internet of Things Rajeev Alur, Emery Berger, Ann W. Drobnis, Limor Fix, Kevin Fu, Gregory D. Hager, Daniel Lopresti, Klara Nahrstedt, Elizabeth Mynatt, Shwetak Patel, Jennifer Rexford Systems Computing Challenges in the Internet of Things Rajeev Alur, Emery Berger, Ann W. Drobnis, Limor Fix, Kevin Fu, Gregory D. Hager, Daniel Lopresti, Klara Nahrstedt, Elizabeth Mynatt, Shwetak Patel, Jennifer Rexford](https://www.pdfsearch.io/img/b3e751a8aad09f70f34f861672a843c4.jpg) | Add to Reading ListSource URL: cra.orgLanguage: English - Date: 2015-10-27 12:59:26
|
---|
29![Automated Analysis of Java Methods for Confidentiality? ˇ Pavol Cern´ y and Rajeev Alur University of Pennsylvania Automated Analysis of Java Methods for Confidentiality? ˇ Pavol Cern´ y and Rajeev Alur University of Pennsylvania](https://www.pdfsearch.io/img/06d0308504802fb98947d65b992b3831.jpg) | Add to Reading ListSource URL: ecee.colorado.eduLanguage: English - Date: 2013-01-11 01:48:16
|
---|
30![Regular Functions Rajeev Alur University of Pennsylvania 1 Regular Functions Rajeev Alur University of Pennsylvania 1](https://www.pdfsearch.io/img/2964caac4fa31f8e910779805f846dee.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-10-13 10:13:47
|
---|